Branching Automata with Costs - A Way of Reflecting Parallelism in Costs
نویسندگان
چکیده
Extending work by Lodaya and Weil, we propose a model of branching automata with costs in which the calculation of the cost of a parallel composition is handled differently from the calculation of the cost of a sequential composition. Our main result characterizes the behavior of these automata in the spirit of Kleene’s and Schützenberger’s theorems. The technical report [12] that this extended abstract is based on contains complete proofs and can be accessed at the net.
منابع مشابه
BI-OBJECTIVE OPTIMIZATION OF RESERVOIR OPERATION BY MULTI-STEP PARALLEL CELLULAR AUTOMATA
Parallel Cellular Automata (PCA) previously has been employed for optimizing bi-objective reservoir operation, where one release is used to meet both objectives. However, if a single release can only be used for one objective, meaning two separate sets of releases are needed, the method is not applicable anymore. In this paper, Multi-Step Parallel Cellular Automata (MSPCA) has been developed fo...
متن کاملPre-scheduling and Scheduling of Task Graph on Homogeneous Multiprocessor Systems
Task graph scheduling is a multi-objective optimization and NP-hard problem. In this paper a new algorithm on homogeneous multiprocessors systems is proposed. Basically, scheduling algorithms are targeted to balance the two parameters of time and energy consumption. These two parameters are up to a certain limit in contrast with each other and improvement of one causes reduction in the othe...
متن کاملElectric-vehicle car-sharing in one-way car-sharing systems considering depreciation costs of vehicles and chargers
In recent years, car-sharing systems have been announced as a way to increase mobility and to decrease the number of single-occupant vehicles, congestion, and air pollution in many parts of the world. This study presents a linear programming model to optimize one-way car-sharing systems for electric cars considering the depreciation costs of chargers and vehicles as well as relocation cost of v...
متن کاملPre-scheduling and Scheduling of Task Graph on Homogeneous Multiprocessor Systems
Task graph scheduling is a multi-objective optimization and NP-hard problem. In this paper a new algorithm on homogeneous multiprocessors systems is proposed. Basically, scheduling algorithms are targeted to balance the two parameters of time and energy consumption. These two parameters are up to a certain limit in contrast with each other and improvement of one causes reduction in the othe...
متن کاملThermo-economic Analysis of Power Cycles
Exergy analysis is based on combined first and second laws of thermodynamics and is a useful tool to analyze the energy systems in a better and more realistic way than an energy analysis, based on the first law of thermodynamics. Combination of exergy from thermodynamics with conventional concepts from engineering economy which is referred to as thermo-economy (exergo-economy) is a valuable too...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 328 شماره
صفحات -
تاریخ انتشار 2003